Designing Test Environments for Cyber-Physical Systems
نویسنده
چکیده
The transformation of industrial assets into networked entities promises to increase the productivity of manufacturing processes significantly. It is a prerequisite for the close integration of these assets into production environments that increasingly rely on computerized planning, execution, and monitoring systems. The result of combining a (mechanical) asset with extensive computational capabilities and network resource is called a “Cyber-Physical System” (CPS). In production environments, the quality of these systems is under (at least) the same scrutiny as that of physical-only systems. However, the complexity in achieving this quality level is amplified by the fact that additional, software-induced vulnerabilities are introduced. New approaches to the definition of acceptance criteria, testing strategies, and risk management are required. We describe the quality parameters of CPS, which are intended to guide the design of acceptance criteria. We also describe the challenges in testing CPS and outline the design of a test environment using an example of advanced machine tools. 1 TRUMPF GmbH + Co. KG, 71252 Ditzingen, [email protected]
منابع مشابه
Collaborative Communication Tools for Designing: Physical-Cyber Environments
Designing for Physical-Cyber Environments (P-C E) will require a collaborative interdisciplinary approach. A Physical-Cyber Environment is my interpretation of an emergent hybrid, physical, digital mix, firmly grounded in physicality, which is technologically, digitally enabled and augmented. This landscape (P-C E) is an emerging possibility space where all types of products, services and envir...
متن کاملCyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments
Designing complex systems using graphical models in sophisticated development environments is becoming de-facto engineering practice in the cyber-physical system (CPS) domain. Development environments thrive to eliminate bugs or undefined behaviors in themselves. Formal techniques, while promising, do not yet scale to verifying entire industrial CPS tool chains. A practical alternative, automat...
متن کاملFrom MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems
From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems
متن کاملTowards Safe and Scalable Cyber-Physical Systems
Specifying, designing, and developing correct, efficient, and resilient software systems is a notoriously hard problem, particularly when placing these systems in open contexts in which they will interact with dynamic and unpredictable physical environments, peers, and adversaries. By “correct” we mean that we know with certainty some desirable invariants of a system. Many techniques are alread...
متن کاملSpecification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS)
Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today’s computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective met...
متن کامل